Monitoring, IoT devices, and semantics

Efforts to improve Internet of Things (IoT) device interoperability for monitoring are still required. This demo paper proposes monitoring infrastructure safety and security with the use of semantics. We make use of an ontology we proposed for interoperability in the IoT, the Connectivity Management Tool Semantics (CMTS) ontology. We demonstrate its use and the advantages it provides by monitoring a bridge, a crucial infrastructure that must be verified in near real-time. Two Raspberry Pi devices with sensors are used to monitor the inclination and vibration of the bridge, sending the data to a cloud server, which handles the ontology data-model. We also provide a web visualization tool, developed to assist users of the ontology to comprehend the status of the system's entities.Peer ReviewedPostprint (author's final draft

An approach to test-driven development of conceptual schemas

The proposed method is applicable to different kinds of projects and may be integrated into existing software development methods when they are based on iterative paradigms and they include artifacts to specify conceptual schemas. TDCM can also be used even if the conceptual schema to be developed is the main purpose of the project. Using TDCM, conceptual modelers have at any time fully tested schemasPeer ReviewedPostprint (published version

Ensuring the semantic correctness of a BAUML artifact-centric BPM

Context: Using models to represent business processes provides several advantages, such as facilitating the communication between the stakeholders or being able to check the correctness of the processes before their implementation. In contrast to traditional process modeling approaches, the artifact-centric approach treats data as a key element of the process, also considering the tasks or activities that are performed in it. Objective: This paper presents a way to verify and validate the semantic correctness of an artifact-centric business process model defined using a combination of UML and OCL models - a BAUML model. Method: We achieve our goal by presenting several algorithms that encode the initial models into first-order logic, which then allows to use an existing satisfiability checking tool to determine their correctness. Results: An approach to verify and validate an artifact-centric BPM specified in BAUML, which uses a combination of UML and OCL models. To do this, we provide a method to translate all BAUML components into a set of logic formulas. The result of this translation ensures that the only changes allowed are those specified in the model, and that those changes are taking place according the order established by the model. Having obtained this logic representation, these models can be validated by any existing reasoning method able to deal with negation of derived predicates. Moreover, we show how to automatically generate the relevant tests to validate the models. We also show the feasibility of our approach by implementing a prototype tool and applying it to a running example. Conclusion: It is feasible to ensure the semantic correctness of an artifact-centric business process model in practice.Peer ReviewedPostprint (author's final draft

QUARQ: QUick approximate and relaxed querying

Executing queries over Linked Open Data (LOD) is a complex task. The total number of sources triggered by a single query cannot be known in advance, nor the reasoning complexity applied to each source. In order to avoid this uncertainty, practitioners download full replicas of the open data and build applications on top of the datasets in a controlled environment. With this centralized approach, they lose dynamic data changes, and often they cannot account for the inference capabilities defined in the associated ontologies. In this work, we explore the feasibility of predicting the performance of Flexible Querying over Linked Open Data [1]. Concretely, we propose QUARQ: QUick Approximate and Relaxed Querying, a tool that using ML provides intelligence to the process of generating alternative queries that run more efficiently than the original ones. With this tool, we propose avoiding the use of replicated Linked Data by seizing the shareable nature of Linked Data and eluding the impracticality of maintaining copies up-to-date or the need to work with outdated data

Specifying artifact-centric business process models in UML: technical report

In recent years, the artifact-centric approach to process modeling has attracted a lot of attention. One of the research lines in this area is finding a suitable way to represent the dimensions in this approach. Bearing this in mind, this paper proposes a way to specify artifact-centric business process models by means of well-known UML diagrams, from a high-level of abstraction and with a technology-independent perspective. UML is a graphical language, widely used and with a precise semantics.Preprin

EU-Rent as an artifact-centric process model: technical report

Business process modeling using an artifact-centric approach has raised a significant interest over the last few years. This approach is usually stated in terms of the BALSA framework which defi nes the four dimensions of an artifact-centric business process model: Business Artifacts, Lifecycles, Services and Associations. One of the research challenges in this area is looking for diff erent diagrams to represent these dimensions. Bearing this in mind, this technical report shows how various UML diagrams can be used to represent all the elements in the BALSA framework by applying them to the EU-Rent case study.Preprin

A semantic model to fight social exclusion

This work presents a semantic model meant to help with the identification and prediction of individuals at risk of social exclusion. The model is based on the self-sufficiency matrix, a tool that evaluates a person's self-sufficiency in different areas, and that is used by Barcelona's City Council. Existing data sources can then be mapped to this model, in order to analyze, query, and visualize the data.This work is partially supported by the Semiotic project, funded by Ministerio de Economia, Industria, y Competitividad (TIN2016-78473-C3-2-R).Peer ReviewedPostprint (author's final draft

Lightning talks of EduHPC 2022

The lightning talks at EduHPC provide an opportunity to share early results and insights on parallel and distributed computing (PDC) education and training efforts. The four lightning talks at EduHPC 2022 cover a range of topics in broadening PDC education: (i) curriculum development efforts for the European Masters in HPC program, (ii) bootcamps for CI professionals who support the running of AI workloads on HPC systems, (iii) a GPU programming course following the Carpentries model and (iv) peer-review assignments to help students write efficient parallel algorithms within sustainable software libraries.Peer ReviewedArticle signat per 26 autors/es: Apan Qasem 1, Hartwig Anzt 2,3, Eduard Ayguade 4, Katharine Cahill 5, Ramon Canal 4, Jany Chan 6, Eric Fosler-Lussier 6, Fritz Göbel 2, Arpan Jain 6, Marcel Koch 2, Mateusz Kuzak 7, Josep Llosa 4, Raghu Machiraju 6, Xavier Martorell 4, Pratik Nayak 2, Shameema Oottikkal 5, Marcin Ostasz 8, Dhabaleswar K. Panda 6, Dirk Pleiter 9, Rajiv Ramnath 6, Maria-Ribera Sancho 4, Alessio Sclocco 7, Aamir Shafi 6, Hanno Spreeuw 7, Hari Subramoni 6, Karen Tomko 7 / 1 Department of Computer Science, Texas State University, USA; 2 Karlsruhe Institute of Technology (KIT), Karlsruhe, Germany; 3 University of Tennessee (UTK), Knoxville, USA; 4 Barcelona Supercomputing Center and Universitat Politècnica de Catalunya, Spain; 5 Ohio Supercomputer Center, USA; 6 College of Engineering, The Ohio State University, USA; 7 Netherlands eScience Center, The Netherlands; 8 ETP4HPC, The Netherlands; 9 PDC Center for High Performance Computing, KTH Royal Institute of Technology, SwedenPostprint (author's final draft